- 双语例句 更多例句
1、
2、
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
- 相关词组
- axis of gravity重力轴;
- avail ofv.利用;
- avail oneself of利用;乘;趁;假;
- average annual rate of growth[法] 年平均增长率;
- axis of ordinates纵坐标轴;
- axis of abscissas横坐标轴;
- at this time of year在（一年的）这个时节里;
- axis of level水准漆；水准轴；水准管轴
- United States of American. 美国，美利坚合众国;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- at the very beginning of在一开始
- aware of意识到，知道;
- at the word of command一声令下;一听到命令声
- axis of evil邪恶轴心国; 邪恶轴心; 险恶轴心; 邪恶轴心--布什用语; 险恶轴心国;
- average length of life平均寿命;
- axis of symmetry对称轴;
- axis of rotation转动轴;旋转轴;自转轴;
- axial moment of inertia轴向惯性矩;
- audit of financial statements财务报表审计;
- axis of projection射影轴;投影轴
- 今日热词
- 热门搜索
- riven adj.四分五裂的，撕裂的，分裂的，硬给分开的;v.裂开;分裂;撕开;拧去（from; away; off）;使烦恼
- Jimmy Choo 吉米·周;吉米丘;吉米周;吉米;周仰杰（品牌名）
- alphanumeric adj.文字数字的，包括文字与数字的;
- herself pron.（反身代词）她自己;（用以加强语气）她亲自，她本人;
- ballet n.芭蕾舞;芭蕾舞剧;芭蕾舞团;
- psp 程序段前缀;Play Station Portable,索尼公司开发的新型多功能掌机;
- fail v.失败;没有做;出故障;倒闭;衰弱;不够;不及格;评定不及格n.考试不及格;
- satisfactory adj.令人满意的;合适的;
- asdfghjkl 爱上对方过后就哭了。
- SMC abbr.Scientific Manpower Commission <美>科学人力委员会;滑模控制;短信中心;软磁复合材料;安全管理中心;无杆气缸
- insurance n.保险;保险费;保险业;保险契约，保险单;（防备不测的）保障措施，安全保证;〈体〉保证球队始终处于领先地位的得分adj.胜券在握的
- tease vt.取笑，戏弄;挑逗;强要;vi.梳理（羊毛等）;起绒;
